Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
241	Journal of Artificial Intelligence Research606 Submitted 11/07; publishedSATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu Add to Reading List Source URL: www.jair.org Language: English - Date: 2008-07-01 13:34:37 NP-complete problems Logic in computer science Electronic design automation Formal methods Boolean algebra Boolean satisfiability problem Algorithm Computational complexity theory Solver Theoretical computer science Applied mathematics Mathematics
242	Artificial Intelligence–120 www.elsevier.com/locate/artint Compiling problem specifications into SAT ✩ Marco Cadoli a,∗ , Andrea Schaerf b a Dipartimento di Informatica e Sistemistica, Università di Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:15 Complexity classes NP-complete problems Mathematical optimization Logic in computer science Boolean satisfiability problem Electronic design automation NP-complete 2-satisfiability NP Theoretical computer science Computational complexity theory Applied mathematics
243	A Exponential Lower Bounds for AC0 -Frege Imply Superpolynomial Frege Lower Bounds YUVAL FILMUS and TONIANN PITASSI, University of Toronto RAHUL SANTHANAM, University of Edinburgh Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-04-05 15:13:04 Computational complexity theory Logic in computer science Mathematical logic Proof theory Automated theorem proving Frege system Proof complexity Function Switching lemma Theoretical computer science Mathematics Logic
244	Toward an Architecture for Never-Ending Language Learning Andrew Carlson1 , Justin Betteridge1 , Bryan Kisiel1 , Burr Settles1 , Estevam R. Hruschka Jr.2 , and Tom M. Mitchell1 1 School of Computer Science, Carnegie Mel Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-04-14 11:14:29 Semantics Machine learning Coupled pattern learner Natural language processing Learning Computational linguistics Predicate Word-sense disambiguation Truth Logic Science Linguistics
245	PostDoc Position at the Università della Svizzera Italiana (USI) in Lugano, Switzerland A one-year PostDoc position (with possibility of prolongation for one further year) funded through the Swiss Platform for Advanced Add to Reading List Source URL: www.usi.ch Language: English - Date: 2015-03-04 04:14:59 Physics Philosophy of science Conditionals High-performance computing Computational science Granger causality Inference Causality Logic Science
246	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 8 Lower Bounds for Linear Satisfiability Problems ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge, Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 1999-10-13 17:17:56 Computational complexity theory Abstract algebra Linear algebra NP-complete problems Logic in computer science Boolean satisfiability problem Time complexity PP Element distinctness problem Theoretical computer science Mathematics Algebra
247	Egon Borger Erich Gradel Yuri Gurevich The Classical Decision Problem Add to Reading List Source URL: www.gbv.de Language: English - Date: 2007-11-05 08:28:23 Computability theory Model theory Complexity classes Metalogic Proof theory Decision problem Decidability Satisfiability First-order logic Theoretical computer science Computational complexity theory Mathematical logic
248	Online Amnesic Approximation of Streaming Time Series Themistoklis Palpanas University of California, Riverside Michail Vlachos Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2003-12-20 03:52:30 Numerical analysis Computational complexity theory Digital signal processing Algorithm Mathematical logic Time complexity Priority queue Piecewise linear function Approximation Theoretical computer science Applied mathematics Mathematical analysis
249	ECE 102: Digital Circuit Logic Add to Reading List Source URL: www.engr.colostate.edu Language: English - Date: 2013-09-24 15:42:15 Radio electronics Antennas Loop antenna Patch antenna Radiation pattern Computational electromagnetics Electromagnetic radiation Near and far field Monopole antenna Telecommunications engineering Electronic engineering Technology
250	Probabilistic System-on-a-Chip Architectures LAKSHMI N. CHAKRAPANI, PINAR KORKMAZ, BILGE E. S. AKGUL, and KRISHNA V. PALEM Georgia Institute of Technology Parameter variations, noise susceptibility, and increasing energ Add to Reading List Source URL: www.ece.rice.edu Language: English - Date: 2012-08-15 21:59:31 Integrated circuits Digital electronics Electronic design Logic families PSoC Probabilistic complexity theory Randomized algorithm Probabilistic design Algorithm Theoretical computer science Computational complexity theory Electronic engineering

UPDATE